Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logical Aspects of Computational Linguistics
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
اقرأ المزيد
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
Ontologies for Agents: Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
اقرأ المزيد
PRICAI 2006: Trends in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
اقرأ المزيد
The Semantic Web: Research and Applications
Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...
اقرأ المزيد
